#ifndef _8250_H
#define _8250_H

void uart_8250_init(void);
void uart_8250_putc(char c);
void uart_8250_puts(char *msg);

#endif /* _8250_H */